Issue1035.agda:22,5-25,72
Termination checking failed for the following functions:
  M.to-∈-intersection′
Problematic calls:
  to-∈-intersection′ ! !
    (at Issue1035.agda:25,50-68)
